1. An introduction to programming with specifications : a mathematical approach
پدیدآورنده : Kubiak, Ryszard
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Programming )Mathematics(
رده :
QA
76
.
6
.
K82
1991
